#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

#include "threads/thread.h"
#include "threads/synch.h"

/* type */
typedef int pid_t;

/* global variables */
struct lock file_lock; //file lock for file operation synch

void syscall_init (void);
struct thread * get_child_by_pid(pid_t pid);
int terminate_process(int status);

#endif /* userprog/syscall.h */
